-
1 функция значений истинности
Mathematics: value functionУниверсальный русско-английский словарь > функция значений истинности
-
2 таблица значений истинности
neng. Schaltbelegungstabelle, WahrheitswerttabelleУниверсальный русско-немецкий словарь > таблица значений истинности
-
3 таблица значений истинности
• pravdivostní tabulka -
4 матрица истинности
ncomput. (значений) Wahrheitsmatrix -
5 частичное присваивание
( значений истинности предикатам) partial evaluationРусско-английский словарь по вычислительной технике и программированию > частичное присваивание
-
6 таблица
таблица ж. значений истинности Schaltbelegungstabelle f; Wahrheitswerttabelle f; Wahrheitswerttafel fтаблица ж. истинности киб. Wahrheitstabelle f; Wahrheitstafel f; Wahrheitswerttabelle f; Wahrheitswerttafel fтаблица ж. Менделеева Tabelle des Periodensystems; Tabelle f des Periodensystems der Elemente; Tafel f des Periodensystems; хим. Tafel f des Periodensystems der Elementeтаблица ж. минимальных величин тормозного нажатия в зависимости от профиля пути, скорости и массы поезда Bremstafel fтаблица ж. перекрёстных ссылок м. Querverweistabelle f; Referenzliste f; Symbolnachweisliste f; выч. Zuordnungsliste fтаблица ж. переходов выч. Entscheidungstabelle f; Sprungtabelle f; Transfertabelle f; Übergangstabelle fтаблица ж. распределения памяти Speicherbelegungsplan m; Speicherbelegungstabelle f; Speicherverteilungsplan m; выч. Speicherverteilungstabelle f -
7 частичное присваивание
Information technology: partial evaluation (значений истинности предикатам)Универсальный русско-английский словарь > частичное присваивание
-
8 truth assignment
Англо-русский словарь промышленной и научной лексики > truth assignment
См. также в других словарях:
Значение истинности — Эта страница требует существенной переработки. Возможно, её необходимо викифицировать, дополнить или переписать. Пояснение причин и обсуждение на странице Википедия:К улучшению/20 августа 2012. Дата постановки к улучшению 20 августа 2012 … Википедия
таблица истинности — таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В классической математической логике предполагается, что каждое простое (не содержащее логических… … Словарь терминов логики
МНОГОЗНАЧНАЯ ЛОГИКА — совокупность логических систем, опирающихся на многозначности принцип. В классической двузначной логике выражения при интерпретации принимают только два значения «истинно» и «ложно», в М.л. рассматриваются и др. значения, напр. «неопределенно»,… … Философская энциклопедия
ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… … Философская энциклопедия
принцип многозначности — положение, в соответствии с которым всякое высказывание имеет одно (и только одно) из трех или более истинностных значений. П. м. лежит в основе многозначной логики и противопоставляется лежащему в фундаменте классической логики двузначности… … Словарь терминов логики
ФАКТИЧЕСКАЯ ИСТИННОСТЬ — (в л о г и к е) – истинность предложения (суждения, высказывания), обусловленная, в отличие от т.н. логич. истинности, содержанием этого предложения. Иначе говоря, предложение является фактически истинным, когда его истинность зависит от значений … Философская энциклопедия
МНОГОЗНАЧНОСТИ ПРИНЦИП — положение, в соответствии с которым всякое высказывание имеет одно (и только одно) из трех или более истинностных значений. М.п. лежит в основе многозначной логики и противопоставляется лежащему в фундаменте классической логики принципу… … Философская энциклопедия
МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных … Математическая энциклопедия
Многозначная логика — раздел математической логики (См. Математическая логика), изучающий математические модели логики высказываний (См. Логика высказываний). Эти модели отражают две основные черты последней множественность значений истинности высказываний и… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Формальная семантика — Для термина «семантика» см. другие значения. Формальная семантика это изучение семантики, или интерпретации, формальных и естественных языков путём их формального описания в математических терминах. Формальный язык может быть задан без… … Википедия